home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / typing / overload.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  306 b   |  11 lines
  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2. (* overload.sig *)
  3.  
  4. signature OVERLOAD =
  5. sig
  6. (*   structure Env:ENV *)
  7.   val resetOverloaded : unit -> unit
  8.   val pushOverloaded : Variables.var ref * ErrorMsg.complainer -> Types.ty
  9.   val resolveOverloaded : Modules.env -> unit
  10. end  (* signature OVERLOAD *)
  11.